#include <gmlib/number/uint256.h>

#include <stdexcept>
#include <cstring>

using namespace number;

void test_uint256_tpl_carry()
{
    uint256_t    product, multiplier;
    int          carry;
    std::uint8_t product_data[32];

    static std::uint8_t product0[32]     = {0x1c,0xcb,0xf2,0x88,0xa4,0xe3,0x61,0x65,0x85,0xb5,0xec,0xe1,0xba,0xa7,0x18,0xbc,0x2c,0x8b,0x0d,0x60,0xbf,0x94,0xc9,0x18,0x18,0xd9,0x5d,0xe8,0x48,0x4a,0xb8,0x33};
    static std::uint8_t multiplier0[32]  = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x18,0x18,0xe8,0x11};
    static int          carry0           = 0;
    uint256_from_bytes(multiplier, multiplier0);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product0, product_data, 32) != 0 || carry0 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product1[32]     = {0xd7,0xd7,0x28,0xfc,0xbf,0xbd,0xda,0xd4,0xe1,0xde,0x64,0x20,0xe4,0x52,0x19,0xa8,0xab,0x72,0x91,0x0d,0xd7,0xa4,0x31,0x17,0x5f,0x14,0x74,0x6a,0xb2,0x44,0xb8,0x6d};
    static std::uint8_t multiplier1[32]  = {0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb5,0xa1,0x70,0xb3,0x38,0x39,0x26,0x30,0x59,0xf2,0x8c,0x10,0x5d,0x1f,0xb1,0x7c,0x23,0x90,0xc1,0x92,0xcf};
    static int          carry1           = 2;
    uint256_from_bytes(multiplier, multiplier1);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product1, product_data, 32) != 0 || carry1 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product2[32]     = {0x90,0x48,0xf2,0x50,0xea,0xaf,0x7f,0xd6,0xb6,0xaf,0x5a,0x3c,0xbe,0xab,0x3e,0xb3,0x4f,0x25,0x93,0xa6,0x8a,0xcc,0x40,0xa3,0x0b,0xc7,0x2f,0xbe,0x72,0xc8,0xf8,0x8d};
    static std::uint8_t multiplier2[32]  = {0x30,0x18,0x50,0xc5,0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f};
    static int          carry2           = 0;
    uint256_from_bytes(multiplier, multiplier2);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product2, product_data, 32) != 0 || carry2 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product3[32]     = {0x9e,0x2d,0x21,0x9e,0xdb,0x66,0x3d,0x13,0x2d,0xc6,0x11,0x1d,0xb1,0x6f,0x52,0x49,0x30,0x38,0xd0,0xa7,0x22,0xe6,0xac,0x67,0xa4,0xaa,0xf1,0x7b,0x4a,0xd3,0xa1,0x76};
    static std::uint8_t multiplier3[32]  = {0x34,0xb9,0xb5,0xdf,0x9e,0x77,0x69,0xb1,0x0f,0x42,0x05,0xb4,0x90,0x7a,0x70,0xc3,0x10,0x12,0xf0,0x37,0xb6,0x4c,0xe4,0x22,0x8c,0x38,0xfb,0x29,0x18,0xf1,0x35,0xd2};
    static int          carry3           = 0;
    uint256_from_bytes(multiplier, multiplier3);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product3, product_data, 32) != 0 || carry3 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product4[32]     = {0xc5,0x33,0xf6,0x96,0xc1,0xb6,0x25,0x74,0x65,0x95,0x0d,0x30,0xf1,0x43,0xd8,0xcf,0x54,0xe9,0x65,0x49,0x48,0x64,0x11,0x7b,0x98,0x5c,0x74,0x28,0x0a,0x8c,0x13,0xfc};
    static std::uint8_t multiplier4[32]  = {0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x88,0x1e,0xd1,0x62,0xae,0x2e,0xb1,0x54};
    static int          carry4           = 2;
    uint256_from_bytes(multiplier, multiplier4);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product4, product_data, 32) != 0 || carry4 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product5[32]     = {0xbb,0x77,0x53,0xf3,0x56,0xe8,0xbe,0x62,0x18,0xd3,0xe5,0xbc,0x8a,0x0f,0x94,0xd0,0x62,0x15,0x5c,0x75,0xbe,0xca,0xa7,0x65,0xe6,0x38,0x97,0x08,0x15,0xb1,0xfc,0x08};
    static std::uint8_t multiplier5[32]  = {0x3e,0x7d,0x1b,0xfb,0xc7,0xa2,0xea,0x20,0xb2,0xf1,0x4c,0x94,0x2e,0x05,0x31,0x9a,0xcb,0x5c,0x74,0x27,0x3f,0x98,0xe2,0x77,0x4c,0xbd,0x87,0xad,0x5c,0x90,0xa9,0x58};
    static int          carry5           = 0;
    uint256_from_bytes(multiplier, multiplier5);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product5, product_data, 32) != 0 || carry5 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product6[32]     = {0x58,0xb4,0x64,0xb0,0x30,0x36,0xc7,0x61,0x07,0xca,0x11,0x69,0xa0,0x1b,0x08,0x56,0x7c,0x3f,0xd6,0x13,0x93,0x59,0xd5,0x63,0xe6,0x97,0x61,0x00,0xb9,0x28,0x4c,0x0d};
    static std::uint8_t multiplier6[32]  = {0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x7e,0xbf,0xf2,0x06,0x86,0x73,0x47,0x21,0x4c,0xdd,0x20,0x55,0x93,0x0d,0x6e,0xaf};
    static int          carry6           = 1;
    uint256_from_bytes(multiplier, multiplier6);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product6, product_data, 32) != 0 || carry6 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product7[32]     = {0x45,0x7b,0xf6,0xfd,0x7e,0xb0,0xde,0x7d,0x41,0x1e,0x4a,0xb9,0x89,0x2a,0x17,0x34,0x5a,0xac,0xad,0x30,0x38,0x37,0xe0,0x6c,0xf0,0xc6,0x37,0xa9,0xd3,0xae,0x36,0xf4};
    static std::uint8_t multiplier7[32]  = {0xc1,0xd3,0xfc,0xff,0x2a,0x3a,0xf4,0xd4,0x6b,0x0a,0x18,0xe8,0x83,0x0e,0x07,0xbc,0x1e,0x39,0x8f,0x10,0x12,0xbd,0x4a,0xce,0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc};
    static int          carry7           = 2;
    uint256_from_bytes(multiplier, multiplier7);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product7, product_data, 32) != 0 || carry7 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product8[32]     = {0x15,0xfc,0xa1,0xae,0x05,0x36,0xc6,0xc6,0xf0,0xf5,0x45,0x66,0x74,0x7e,0xd0,0x60,0xa0,0x5d,0xf1,0x07,0x5e,0x06,0x3a,0x1b,0xb8,0x15,0x7b,0xd7,0xac,0x9a,0x28,0x6e};
    static std::uint8_t multiplier8[32]  = {0xb1,0xfe,0xe0,0x8f,0x57,0x12,0x42,0x42,0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a};
    static int          carry8           = 2;
    uint256_from_bytes(multiplier, multiplier8);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product8, product_data, 32) != 0 || carry8 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product9[32]     = {0x1a,0xbe,0xf1,0xa4,0x31,0x87,0xc6,0x2d,0x2e,0x98,0x18,0x21,0x31,0xeb,0x84,0x17,0xfe,0x11,0xa3,0x50,0x17,0x54,0x0b,0xd0,0x6c,0x1b,0x86,0x7b,0xcf,0x50,0x38,0x83};
    static std::uint8_t multiplier9[32]  = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x29,0x45,0x1a,0xbd,0x81};
    static int          carry9           = 2;
    uint256_from_bytes(multiplier, multiplier9);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product9, product_data, 32) != 0 || carry9 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product10[32]     = {0x26,0x5e,0xc1,0xf6,0xda,0x91,0xc2,0x0e,0x56,0x40,0x8a,0x52,0x77,0x3c,0xfc,0xf1,0x0b,0x30,0xad,0x9b,0xfa,0xb2,0x9b,0x22,0xbb,0xdc,0xda,0x1a,0xf0,0xfe,0xb5,0x83};
    static std::uint8_t multiplier10[32]  = {0xb7,0x74,0xeb,0x52,0x48,0xdb,0x40,0xaf,0x72,0x15,0x83,0x70,0xd2,0x69,0xa9,0xa5,0xae,0x65,0x8f,0x33,0xfe,0x3b,0x89,0x0b,0x93,0xf4,0x48,0xb3,0xa5,0xaa,0x3c,0x81};
    static int          carry10           = 2;
    uint256_from_bytes(multiplier, multiplier10);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product10, product_data, 32) != 0 || carry10 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product11[32]     = {0x37,0x10,0x25,0xb2,0x63,0x55,0x52,0x6d,0xdc,0xbf,0x6a,0xcd,0x4e,0x00,0xc0,0x43,0xa7,0x95,0x64,0xf1,0x2d,0x46,0xe9,0x01,0x7b,0x27,0xfe,0x1e,0x59,0xed,0xf8,0x68};
    static std::uint8_t multiplier11[32]  = {0xbd,0x05,0x61,0xe6,0x21,0x1c,0x70,0xcf,0x49,0x95,0x23,0x99,0xc4,0xaa,0xea,0xc1,0x37,0xdc,0x76,0xfb,0x0f,0x17,0xa3,0x00,0x7e,0x62,0xaa,0x0a,0x1d,0xf9,0xfd,0x78};
    static int          carry11           = 2;
    uint256_from_bytes(multiplier, multiplier11);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product11, product_data, 32) != 0 || carry11 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product12[32]     = {0x58,0xf9,0xd6,0x06,0x7f,0xc4,0xf1,0x4e,0x3d,0xe2,0xed,0xb6,0x7d,0x51,0x30,0xb6,0x9d,0x40,0x88,0x12,0xc0,0x1d,0x67,0x77,0x2c,0x3f,0xd6,0xd5,0x31,0x95,0xdd,0xf0};
    static std::uint8_t multiplier12[32]  = {0x72,0xfd,0xf2,0x02,0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50};
    static int          carry12           = 1;
    uint256_from_bytes(multiplier, multiplier12);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product12, product_data, 32) != 0 || carry12 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product13[32]     = {0xa6,0x91,0x91,0x1f,0x97,0x8a,0x42,0x1c,0x4a,0xa4,0x00,0x12,0x75,0x34,0xf8,0x8b,0x69,0x28,0xc6,0x7c,0xa6,0x70,0x54,0x0b,0xd5,0x61,0x65,0x5e,0xa5,0xf8,0x48,0x33};
    static std::uint8_t multiplier13[32]  = {0x8c,0xdb,0x30,0x5f,0xdd,0x2e,0x16,0x09,0x6e,0x36,0xaa,0xb0,0xd1,0xbc,0x52,0xd9,0x23,0x0d,0x97,0x7e,0xe2,0x25,0x71,0x59,0x47,0x20,0x77,0x1f,0x8c,0xa8,0x18,0x11};
    static int          carry13           = 1;
    uint256_from_bytes(multiplier, multiplier13);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product13, product_data, 32) != 0 || carry13 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product14[32]     = {0xdf,0x89,0x9e,0x18,0x24,0x2d,0xcd,0x5d,0xa7,0x0f,0x62,0x11,0x0c,0x54,0xd0,0x6d,0x13,0x89,0x47,0xc2,0xf5,0x9b,0x51,0xdf,0x3e,0xf2,0x9d,0xe9,0x1e,0x83,0x3e,0xae};
    static std::uint8_t multiplier14[32]  = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xb4,0xd6,0x6a,0x3a};
    static int          carry14           = 2;
    uint256_from_bytes(multiplier, multiplier14);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product14, product_data, 32) != 0 || carry14 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product15[32]     = {0x09,0x43,0xb1,0xda,0xb3,0x33,0xbd,0xbf,0xf9,0xbd,0xa5,0x9b,0xb2,0x24,0x93,0x62,0x74,0x32,0x79,0x37,0x87,0x55,0xd0,0xd0,0x3f,0xbb,0x74,0x7e,0x73,0xe8,0x42,0x37};
    static std::uint8_t multiplier15[32]  = {0x03,0x16,0x90,0x9e,0x3b,0xbb,0xe9,0xea,0xa8,0x94,0x8c,0x89,0x3b,0x61,0x86,0x76,0x26,0xbb,0x7d,0xbd,0x2d,0x1c,0x9a,0xf0,0x15,0x3e,0x7c,0x2a,0x26,0xa2,0xc0,0xbd};
    static int          carry15           = 0;
    uint256_from_bytes(multiplier, multiplier15);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product15, product_data, 32) != 0 || carry15 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product16[32]     = {0x31,0xb7,0xac,0x6a,0x2d,0x58,0xd4,0xea,0xad,0x85,0x4c,0x5a,0x64,0xc4,0x3c,0xeb,0x0a,0xae,0x82,0x7f,0x9f,0xa0,0x49,0xbb,0xdb,0x0c,0x72,0x24,0x57,0x04,0x3d,0xb3};
    static std::uint8_t multiplier16[32]  = {0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0xdf,0xe0,0x18,0x93,0xf3,0xae,0xd0,0xb6,0xc7,0xac,0x14,0x91};
    static int          carry16           = 1;
    uint256_from_bytes(multiplier, multiplier16);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product16, product_data, 32) != 0 || carry16 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product17[32]     = {0x4e,0xa0,0xa5,0xe0,0x28,0x60,0xc9,0x18,0xcd,0x5b,0xc9,0x1c,0x05,0x29,0x44,0xbf,0x54,0x6c,0xc8,0xeb,0x7c,0xa6,0x1a,0xf0,0x52,0x66,0xc4,0x93,0xa0,0x54,0x83,0x1e};
    static std::uint8_t multiplier17[32]  = {0x1a,0x35,0x8c,0xa0,0x0d,0x75,0x98,0x5d,0x99,0xc9,0x43,0x09,0x57,0x0d,0xc1,0x95,0x1c,0x24,0x42,0xf9,0x29,0x8c,0xb3,0xa5,0x70,0xcc,0xec,0x31,0x35,0x71,0x81,0x0a};
    static int          carry17           = 0;
    uint256_from_bytes(multiplier, multiplier17);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product17, product_data, 32) != 0 || carry17 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product18[32]     = {0x13,0x95,0xad,0xef,0xd7,0x59,0xa7,0xe1,0x17,0x40,0x9e,0x8f,0xd8,0xca,0xea,0xcf,0x4d,0xec,0xb4,0xd5,0x9c,0x1f,0x87,0x19,0x74,0x2b,0xe5,0x7e,0xb3,0x4a,0x31,0x42};
    static std::uint8_t multiplier18[32]  = {0x06,0x87,0x39,0xfa,0x9d,0x1d,0xe2,0xa0,0x5d,0x15,0x8a,0x2f,0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16};
    static int          carry18           = 0;
    uint256_from_bytes(multiplier, multiplier18);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product18, product_data, 32) != 0 || carry18 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product19[32]     = {0xdd,0xcc,0xa8,0x74,0xc1,0xbb,0xe4,0x9b,0xe7,0x39,0xff,0x95,0x72,0x16,0x36,0xd8,0x20,0xf1,0xb3,0xdf,0xd7,0x9a,0xe0,0x54,0x9f,0xb5,0x29,0x56,0x9f,0x7c,0xbd,0xa5};
    static std::uint8_t multiplier19[32]  = {0xf4,0x99,0x8d,0x7c,0x40,0x93,0xf6,0xde,0xa2,0x68,0xaa,0x87,0x26,0x07,0x67,0x9d,0x60,0x50,0x91,0x4a,0x9d,0x33,0xa0,0x1c,0x35,0x3c,0x63,0x1c,0xdf,0xd4,0x3f,0x37};
    static int          carry19           = 2;
    uint256_from_bytes(multiplier, multiplier19);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product19, product_data, 32) != 0 || carry19 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product20[32]     = {0x3f,0xbf,0xe3,0xff,0x4e,0x7a,0xe7,0x19,0x6e,0xae,0xa7,0x0e,0x41,0xf5,0x9c,0xda,0xef,0x80,0xa9,0x3b,0x73,0x95,0xc3,0xa2,0x70,0xf1,0x85,0x39,0x65,0xe1,0x41,0x85};
    static std::uint8_t multiplier20[32]  = {0xbf,0xea,0xa1,0x55,0x1a,0x28,0xf7,0xb3,0x24,0xe4,0xe2,0x5a,0x15,0xfc,0x89,0x9e,0x4f,0xd5,0x8d,0xbe,0x7b,0xdc,0x96,0x8b,0x7a,0xfb,0x2c,0x68,0x77,0x4b,0x15,0xd7};
    static int          carry20           = 2;
    uint256_from_bytes(multiplier, multiplier20);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product20, product_data, 32) != 0 || carry20 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product21[32]     = {0x11,0xbc,0xcd,0xda,0x8c,0x8b,0x7f,0x46,0x7b,0xfc,0x1f,0x4c,0x13,0x7f,0xe5,0xe4,0x7c,0x8f,0x99,0x32,0x6f,0x94,0xe6,0xe6,0xcb,0x55,0x52,0xd0,0x38,0x96,0xf9,0x2f};
    static std::uint8_t multiplier21[32]  = {0x05,0xe9,0x99,0xf3,0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65};
    static int          carry21           = 0;
    uint256_from_bytes(multiplier, multiplier21);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product21, product_data, 32) != 0 || carry21 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product22[32]     = {0xbe,0x10,0x5f,0xca,0xa1,0x28,0x0b,0x23,0x11,0xf8,0xce,0xaf,0x70,0x97,0x3b,0x42,0x15,0xd3,0x6d,0xa0,0x95,0xb3,0xa1,0x6a,0xdb,0x26,0xef,0x29,0xda,0x5b,0x5e,0xf9};
    static std::uint8_t multiplier22[32]  = {0xea,0x05,0x75,0x43,0x8b,0x0d,0x59,0x0b,0xb0,0xa8,0x44,0xe5,0x25,0x87,0xbe,0x6b,0x5c,0x9b,0xcf,0x35,0x87,0x3b,0xe0,0x78,0xf3,0xb7,0xa5,0x0d,0xf3,0x73,0xca,0x53};
    static int          carry22           = 2;
    uint256_from_bytes(multiplier, multiplier22);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product22, product_data, 32) != 0 || carry22 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product23[32]     = {0x03,0x61,0xe4,0x07,0x97,0x12,0x01,0x98,0x69,0x05,0x7c,0x62,0xae,0x37,0xb4,0x74,0x4e,0x74,0xe9,0x9b,0xa9,0x50,0xa8,0x00,0x3d,0xda,0x70,0xd2,0x18,0x0a,0x55,0x0f};
    static std::uint8_t multiplier23[32]  = {0x56,0x75,0xf6,0xad,0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05};
    static int          carry23           = 1;
    uint256_from_bytes(multiplier, multiplier23);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product23, product_data, 32) != 0 || carry23 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product24[32]     = {0x89,0x1a,0xcc,0x7f,0xaa,0xc2,0xad,0x3b,0x6f,0x21,0x0f,0xb3,0x99,0x13,0xc9,0xe5,0x40,0x1b,0x9d,0xb8,0x22,0x6d,0x36,0x55,0x58,0xcf,0x01,0x51,0x2a,0x65,0x3c,0x15};
    static std::uint8_t multiplier24[32]  = {0x2d,0xb3,0x99,0x7f,0xe3,0x96,0x39,0xbe,0x7a,0x60,0x5a,0x91,0x33,0x06,0x98,0xa1,0xc0,0x09,0x34,0x92,0xb6,0x24,0x67,0x71,0xc8,0x45,0x00,0x70,0x63,0x77,0x14,0x07};
    static int          carry24           = 0;
    uint256_from_bytes(multiplier, multiplier24);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product24, product_data, 32) != 0 || carry24 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product25[32]     = {0x2a,0x5c,0x84,0x70,0xea,0x3b,0x98,0x95,0xd6,0xa7,0xad,0x10,0x67,0x08,0x51,0xa3,0x42,0x9f,0xb7,0x09,0xff,0x5f,0x8a,0xec,0xe8,0x53,0xaa,0xd1,0x5e,0x0e,0x56,0xdd};
    static std::uint8_t multiplier25[32]  = {0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0xf2,0x37,0xe4,0x5a,0xcd,0x02,0xc5,0xe1,0x16,0x35,0x3d,0x03,0x55,0x1f,0xd8,0xf9,0xa2,0xc6,0x8e,0x45,0xca,0x04,0xc7,0x9f};
    static int          carry25           = 2;
    uint256_from_bytes(multiplier, multiplier25);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product25, product_data, 32) != 0 || carry25 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product26[32]     = {0xf7,0xb2,0xf7,0xd3,0x6b,0x64,0xbd,0xdd,0x65,0x64,0x4b,0xdc,0xb6,0xed,0x29,0x1c,0xc5,0xbe,0x6c,0x92,0x74,0x15,0x6f,0xf4,0x15,0x28,0x53,0x1b,0x61,0x90,0xc2,0x9c};
    static std::uint8_t multiplier26[32]  = {0xa7,0xe6,0x52,0x9b,0xce,0x76,0xe9,0xf4,0x77,0x21,0x6e,0x9e,0xe7,0xa4,0x63,0x09,0x97,0x3f,0x79,0x86,0x26,0xb1,0xcf,0xfc,0x07,0x0d,0x71,0x09,0x20,0x85,0x96,0x34};
    static int          carry26           = 1;
    uint256_from_bytes(multiplier, multiplier26);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product26, product_data, 32) != 0 || carry26 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product27[32]     = {0x0d,0x1c,0xeb,0xb8,0xcf,0xf9,0x9c,0xbf,0xf8,0xc8,0x34,0x4c,0x6c,0x4e,0x5e,0x09,0xf0,0xdf,0xfd,0xc3,0xc9,0xa0,0xdb,0xf3,0x7a,0xc2,0x92,0x83,0xd5,0xb0,0x35,0xcd};
    static std::uint8_t multiplier27[32]  = {0x59,0xb4,0x4e,0x92,0xef,0xfd,0xde,0xea,0xa8,0x42,0xbc,0x19,0x79,0x6f,0x74,0xad,0xfa,0xf5,0x54,0x96,0x98,0x8a,0xf3,0xfb,0xd3,0x96,0x30,0xd6,0x9c,0x90,0x11,0xef};
    static int          carry27           = 1;
    uint256_from_bytes(multiplier, multiplier27);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product27, product_data, 32) != 0 || carry27 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product28[32]     = {0x9d,0x7f,0xa2,0x6d,0xf5,0xab,0x82,0x1a,0x4d,0x2a,0x67,0x9b,0x6a,0xf1,0xce,0x9a,0xcd,0x06,0x1b,0x23,0x3f,0x9c,0xf4,0x40,0x94,0x6a,0x0b,0xeb,0x4e,0xed,0xce,0xeb};
    static std::uint8_t multiplier28[32]  = {0xdf,0x2a,0x8b,0x79,0xfc,0x8e,0x80,0xb3,0x6f,0x0e,0x22,0x89,0x23,0xa5,0xef,0x88,0xef,0x02,0x09,0x0b,0xbf,0xde,0xfc,0x15,0x86,0xce,0x03,0xf9,0x1a,0x4f,0x44,0xf9};
    static int          carry28           = 2;
    uint256_from_bytes(multiplier, multiplier28);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product28, product_data, 32) != 0 || carry28 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product29[32]     = {0x80,0xe4,0x71,0x82,0xe0,0xff,0x96,0x73,0xa3,0x6a,0x35,0xa7,0xc1,0x68,0xbd,0x1e,0x15,0x7f,0xca,0x76,0xa2,0x14,0x9c,0xf6,0x9f,0x29,0x14,0x29,0x7a,0x7c,0xbb,0x3f};
    static std::uint8_t multiplier29[32]  = {0x80,0x4c,0x25,0xd6,0x4a,0xff,0xdc,0xd1,0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15};
    static int          carry29           = 1;
    uint256_from_bytes(multiplier, multiplier29);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product29, product_data, 32) != 0 || carry29 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product30[32]     = {0x64,0xaa,0x22,0x73,0x80,0xa9,0x69,0x1d,0x41,0xcd,0x38,0x13,0xa2,0x10,0x1b,0xca,0xc7,0x31,0x31,0x93,0xfa,0x5c,0x1b,0x07,0xc2,0x62,0x3d,0x29,0x4a,0x81,0x8d,0xe0};
    static std::uint8_t multiplier30[32]  = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0xc3,0x80,0x84,0xa0};
    static int          carry30           = 0;
    uint256_from_bytes(multiplier, multiplier30);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product30, product_data, 32) != 0 || carry30 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product31[32]     = {0x98,0x71,0x0b,0x02,0x64,0x6d,0x1a,0x78,0x81,0x44,0x32,0x21,0xa2,0x6f,0x01,0xe6,0xc0,0xcf,0x4e,0x78,0x7b,0x3e,0x47,0x04,0x43,0x0a,0xe2,0x12,0x8c,0xdf,0x50,0x9c};
    static std::uint8_t multiplier31[32]  = {0x88,0x25,0xae,0x56,0x21,0x79,0xb3,0x7d,0x80,0x6c,0x10,0xb5,0xe0,0xcf,0xab,0x4c,0xea,0xef,0xc4,0xd2,0xd3,0xbf,0x6d,0x01,0x6b,0xae,0x4b,0x5b,0x84,0x4a,0x70,0x34};
    static int          carry31           = 1;
    uint256_from_bytes(multiplier, multiplier31);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product31, product_data, 32) != 0 || carry31 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product32[32]     = {0xd3,0x5e,0xb6,0x25,0x8c,0xa0,0x79,0xd9,0x54,0x5b,0x52,0xb7,0x52,0x04,0x14,0x06,0x9e,0x50,0x90,0x45,0x0e,0x5d,0x86,0xa8,0x88,0x19,0xa0,0xcc,0x92,0x0d,0x95,0x4b};
    static std::uint8_t multiplier32[32]  = {0x9b,0xca,0x3c,0xb7,0x2e,0xe0,0x28,0x9d,0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19};
    static int          carry32           = 1;
    uint256_from_bytes(multiplier, multiplier32);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product32, product_data, 32) != 0 || carry32 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product33[32]     = {0x2c,0xf2,0xcc,0x8b,0xdb,0x78,0x41,0xa6,0x6b,0xa4,0x7f,0xa2,0x6c,0xb7,0xa0,0x50,0x84,0x5c,0xbe,0x5d,0x73,0x0c,0x5d,0xf7,0x65,0xc3,0x4d,0xd4,0x53,0xff,0x77,0xff};
    static std::uint8_t multiplier33[32]  = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0xc6,0xaa,0x7d,0x55};
    static int          carry33           = 2;
    uint256_from_bytes(multiplier, multiplier33);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product33, product_data, 32) != 0 || carry33 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product34[32]     = {0xd4,0xac,0x1c,0xb0,0x92,0xec,0x51,0x08,0xbe,0xd7,0xf8,0xeb,0x2b,0xa3,0xc5,0xbd,0xae,0x4e,0xb4,0x1f,0xa6,0x51,0xa7,0x5e,0x51,0x7d,0xf5,0xcd,0x54,0x58,0x2a,0x81};
    static std::uint8_t multiplier34[32]  = {0x46,0xe4,0x09,0x90,0x30,0xf9,0x70,0x58,0x3f,0x9d,0x52,0xf9,0x0e,0x8b,0xec,0x94,0x8f,0x6f,0x91,0x5f,0xe2,0x1b,0x37,0xca,0x1b,0x29,0xfc,0x99,0xc6,0xc8,0x0e,0x2b};
    static int          carry34           = 0;
    uint256_from_bytes(multiplier, multiplier34);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product34, product_data, 32) != 0 || carry34 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product35[32]     = {0x89,0x57,0x0b,0x3e,0xd1,0x83,0x84,0x41,0x84,0x43,0xca,0x14,0xeb,0x8a,0x69,0xac,0xd6,0x6b,0xe1,0xc8,0xfa,0x12,0x3e,0xca,0x54,0x6a,0x2e,0x1e,0x30,0xaa,0xd2,0x1f};
    static std::uint8_t multiplier35[32]  = {0x83,0x1d,0x03,0xbf,0x9b,0x2b,0xd6,0xc0,0x81,0x6b,0xee,0x06,0xf9,0x2e,0x23,0x39,0x9c,0xce,0xa0,0x98,0x53,0x5b,0x6a,0x43,0x71,0x78,0xba,0x0a,0x10,0x38,0xf0,0xb5};
    static int          carry35           = 1;
    uint256_from_bytes(multiplier, multiplier35);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product35, product_data, 32) != 0 || carry35 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product36[32]     = {0x3f,0xfa,0x2d,0xa0,0x69,0x51,0xba,0x3d,0x57,0xb3,0xa1,0x39,0x85,0x1e,0xad,0x73,0x9b,0x96,0x86,0x7f,0xd4,0x6d,0xd8,0x78,0xad,0xa2,0xc3,0x27,0xad,0xb4,0xe3,0xa9};
    static std::uint8_t multiplier36[32]  = {0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0xd7,0x0a,0x39,0xd1,0x33,0xdc,0xd7,0x7f,0xf1,0x79,0xf2,0xd2,0xe4,0x8b,0x96,0x62,0x8f,0x3c,0x4b,0xe3};
    static int          carry36           = 1;
    uint256_from_bytes(multiplier, multiplier36);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product36, product_data, 32) != 0 || carry36 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product37[32]     = {0x38,0x28,0x20,0xc8,0x48,0xf6,0xcf,0x95,0xb8,0xcf,0x81,0x6d,0x03,0x72,0x87,0xf1,0x37,0xb7,0x24,0x8f,0xf2,0xac,0x27,0xfd,0x53,0x8b,0xf4,0x1a,0x2d,0x55,0xf9,0xac};
    static std::uint8_t multiplier37[32]  = {0x12,0xb8,0x0a,0xed,0x6d,0xa7,0x9a,0x87,0x3d,0x9a,0x80,0x79,0xab,0xd0,0xd7,0xfb,0x12,0x92,0x61,0x85,0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4};
    static int          carry37           = 0;
    uint256_from_bytes(multiplier, multiplier37);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product37, product_data, 32) != 0 || carry37 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product38[32]     = {0xe7,0x13,0x0b,0x9d,0x69,0x69,0x5a,0x5c,0xa6,0x03,0xff,0x66,0xc2,0x63,0x06,0x70,0x6d,0xce,0xd0,0x8d,0x19,0x3a,0x90,0x6a,0xfb,0x13,0xb6,0x8e,0xee,0x2c,0xfd,0x4c};
    static std::uint8_t multiplier38[32]  = {0xf7,0xb1,0x03,0xdf,0x23,0x23,0x1e,0x1e,0xe2,0x01,0x55,0x22,0x40,0xcb,0xac,0xd0,0x24,0x9a,0x45,0x84,0x5d,0xbe,0x30,0x23,0xa9,0x06,0x92,0x2f,0xa4,0xb9,0xa9,0xc4};
    static int          carry38           = 2;
    uint256_from_bytes(multiplier, multiplier38);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product38, product_data, 32) != 0 || carry38 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product39[32]     = {0x8b,0xfc,0x14,0x73,0xfb,0x72,0xa0,0xad,0x4b,0x68,0xa3,0xee,0x1e,0x74,0xdc,0x43,0x7c,0x01,0x84,0xd0,0xab,0xcf,0x9a,0x43,0x7f,0x51,0x48,0x41,0x00,0xe5,0x4d,0xd9};
    static std::uint8_t multiplier39[32]  = {0x83,0xfe,0xb1,0x7b,0xfe,0x7b,0x8a,0xe4,0x6e,0x78,0x36,0xa4,0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3};
    static int          carry39           = 1;
    uint256_from_bytes(multiplier, multiplier39);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product39, product_data, 32) != 0 || carry39 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product40[32]     = {0x19,0x0d,0x31,0x49,0x2a,0x9c,0xa1,0x83,0x46,0xce,0x15,0x5a,0xf4,0xa0,0xac,0xf7,0x11,0xe1,0x52,0x5f,0x96,0x54,0xf7,0xc3,0x43,0x8a,0x53,0x63,0x04,0x70,0xf2,0x67};
    static std::uint8_t multiplier40[32]  = {0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96,0x6b,0xd8,0xc6,0x76,0x56,0xd0,0x50,0xcd};
    static int          carry40           = 1;
    uint256_from_bytes(multiplier, multiplier40);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product40, product_data, 32) != 0 || carry40 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product41[32]     = {0xe7,0x3f,0xe2,0x0a,0x0c,0xed,0x40,0x5e,0xd0,0xa7,0x0f,0x52,0xce,0x88,0x7e,0xf9,0x37,0x9d,0x30,0xf0,0xaf,0x94,0x3c,0x21,0x46,0xa4,0xbb,0x46,0x8c,0xce,0xe7,0x6b};
    static std::uint8_t multiplier41[32]  = {0xa2,0x6a,0xa0,0xae,0x04,0x4f,0x15,0x74,0xf0,0x37,0xaf,0xc6,0x44,0xd8,0x2a,0x53,0x12,0x89,0xba,0xfa,0xe5,0x31,0x69,0x60,0x6c,0xe1,0x93,0xc2,0x2e,0xef,0xa2,0x79};
    static int          carry41           = 1;
    uint256_from_bytes(multiplier, multiplier41);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product41, product_data, 32) != 0 || carry41 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product42[32]     = {0xd0,0x7b,0x0f,0x93,0xb7,0x1e,0x75,0x23,0x20,0xec,0x98,0x6e,0x94,0xab,0xb5,0x72,0x21,0x2e,0x95,0xb1,0x63,0x3e,0xa1,0x39,0xdd,0x77,0xdf,0x84,0xcd,0xb7,0x5e,0x76};
    static std::uint8_t multiplier42[32]  = {0xf0,0x29,0x05,0x31,0x3d,0x0a,0x27,0x0b,0xb5,0xa4,0x32,0xcf,0x86,0xe3,0xe7,0x26,0x0b,0x0f,0x87,0x3b,0x21,0x14,0xe0,0x68,0x9f,0x27,0xf5,0x2c,0x44,0x92,0x74,0xd2};
    static int          carry42           = 2;
    uint256_from_bytes(multiplier, multiplier42);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product42, product_data, 32) != 0 || carry42 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product43[32]     = {0x04,0x37,0x7b,0xba,0x80,0x11,0x6b,0x5d,0x56,0x49,0x9a,0xfd,0xde,0xb0,0x9e,0xcb,0x9e,0x1b,0xfe,0x22,0x47,0x4b,0x6e,0xc7,0x97,0xdf,0xb9,0x97,0xea,0x3e,0x80,0x53};
    static std::uint8_t multiplier43[32]  = {0xac,0x12,0x7e,0x93,0x80,0x05,0xce,0x74,0x72,0x18,0x88,0xff,0x4a,0x3a,0xdf,0x99,0x34,0xb3,0xff,0x60,0xc2,0x6e,0x7a,0x42,0x87,0xf5,0x3d,0xdd,0x4e,0x14,0xd5,0x71};
    static int          carry43           = 2;
    uint256_from_bytes(multiplier, multiplier43);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product43, product_data, 32) != 0 || carry43 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product44[32]     = {0x0b,0xc9,0x2b,0x60,0x1c,0x60,0x89,0xc0,0xc0,0x58,0x3a,0xf3,0xfb,0xc6,0x75,0x02,0x0d,0xf3,0x02,0xf5,0x69,0x39,0xb5,0xd6,0x0a,0x7f,0x2d,0x51,0xcf,0xc2,0xdc,0x72};
    static std::uint8_t multiplier44[32]  = {0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0x40,0x1d,0x68,0xfb,0xfe,0x97,0x7c,0x56,0x04,0xa6,0x56,0x51,0xcd,0xbd,0xe7,0x47,0x58,0xd5,0x0f,0x1b,0x45,0x40,0xf4,0x26};
    static int          carry44           = 0;
    uint256_from_bytes(multiplier, multiplier44);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product44, product_data, 32) != 0 || carry44 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product45[32]     = {0xe8,0x6e,0x28,0x30,0x2f,0xc0,0x98,0x32,0x1e,0xc3,0xde,0x24,0xa5,0x52,0x1f,0xeb,0x7f,0x32,0x31,0x0c,0x98,0x8b,0x29,0x68,0x07,0x32,0x78,0xc5,0xb0,0x4e,0x8f,0xce};
    static std::uint8_t multiplier45[32]  = {0xa2,0xcf,0x62,0xba,0xba,0x95,0x88,0x10,0xb4,0xeb,0xf4,0xb6,0xe1,0xc6,0x0a,0xa3,0xd5,0x10,0xbb,0x04,0x32,0xd9,0x0d,0xcd,0x57,0xbb,0x7d,0x97,0x3a,0xc4,0xda,0x9a};
    static int          carry45           = 1;
    uint256_from_bytes(multiplier, multiplier45);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product45, product_data, 32) != 0 || carry45 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product46[32]     = {0x0a,0xf2,0xac,0x32,0x63,0xb3,0x5f,0x7f,0x82,0xce,0x9a,0x8d,0x29,0xc5,0x38,0x6b,0xf2,0x15,0xd8,0x03,0x0a,0xeb,0x89,0xc0,0xf7,0xe3,0x70,0x91,0x36,0xce,0xce,0x97};
    static std::uint8_t multiplier46[32]  = {0x03,0xa6,0x39,0x66,0x21,0x3b,0xca,0x7f,0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd};
    static int          carry46           = 0;
    uint256_from_bytes(multiplier, multiplier46);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product46, product_data, 32) != 0 || carry46 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product47[32]     = {0xcb,0xdc,0xa0,0x4c,0xd8,0x86,0x56,0xac,0xe9,0xac,0x9a,0x32,0x02,0xfa,0x2d,0x1a,0x84,0x90,0x6c,0x76,0x9c,0x92,0xb3,0x1c,0x24,0x84,0x67,0xff,0x86,0x18,0x36,0x3b};
    static std::uint8_t multiplier47[32]  = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0xd7,0x5d,0x67,0x69};
    static int          carry47           = 1;
    uint256_from_bytes(multiplier, multiplier47);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product47, product_data, 32) != 0 || carry47 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product48[32]     = {0x56,0x64,0xaf,0x94,0xce,0x9e,0xc4,0xfd,0x78,0xfc,0x3c,0x6c,0x8e,0x59,0xb1,0x10,0x60,0xdc,0x20,0x0b,0x22,0xbe,0x0d,0xae,0xe1,0x11,0xa5,0x0c,0x13,0xfb,0x83,0xd4};
    static std::uint8_t multiplier48[32]  = {0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x59,0x0b,0x94,0xaf,0x3a,0x4b,0x05,0xe1,0xae,0xb1,0x53,0xd6,0x9c};
    static int          carry48           = 1;
    uint256_from_bytes(multiplier, multiplier48);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product48, product_data, 32) != 0 || carry48 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product49[32]     = {0xf8,0x79,0x5a,0x52,0xa4,0x27,0x00,0x9b,0xf4,0x69,0x70,0xfd,0xea,0xf9,0x76,0x18,0xfc,0x9d,0x84,0x04,0xe2,0xa6,0xed,0x39,0x17,0xa9,0x1a,0x12,0xca,0x2b,0xb1,0x8b};
    static std::uint8_t multiplier49[32]  = {0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xf8,0xfd,0xd2,0x08,0x54,0x34,0x81,0x56,0xf6,0x37,0xa4,0x68,0x5d,0x38,0x5e,0x06,0x43,0x63,0xe5,0xd9};
    static int          carry49           = 0;
    uint256_from_bytes(multiplier, multiplier49);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product49, product_data, 32) != 0 || carry49 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product50[32]     = {0x00,0xd2,0x28,0x3b,0x8c,0x82,0xfc,0x34,0x11,0xdb,0x40,0x23,0xa7,0x52,0x2b,0xc8,0xed,0xbb,0x99,0x1c,0xa5,0xac,0xa7,0x27,0xe5,0xa1,0xcf,0xb2,0x1a,0x74,0x80,0x33};
    static std::uint8_t multiplier50[32]  = {0x00,0x46,0x0d,0x69,0x2e,0xd6,0x54,0x11,0x5b,0x49,0x15,0x61,0x37,0xc6,0x0e,0x98,0x4f,0x3e,0x88,0x5e,0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11};
    static int          carry50           = 0;
    uint256_from_bytes(multiplier, multiplier50);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product50, product_data, 32) != 0 || carry50 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product51[32]     = {0x7b,0x89,0xdb,0x0e,0xf4,0x45,0x9d,0xca,0x29,0x7a,0xea,0x81,0xfa,0x78,0xb3,0x7a,0x4a,0xfd,0xb9,0x9c,0x2b,0x26,0x0d,0xe0,0xca,0x28,0x55,0x34,0xa3,0x24,0x43,0x77};
    static std::uint8_t multiplier51[32]  = {0x7e,0x83,0x49,0x04,0xfc,0x17,0x34,0x98,0xb8,0x7e,0x4e,0x2b,0x53,0x7d,0x91,0x28,0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d};
    static int          carry51           = 1;
    uint256_from_bytes(multiplier, multiplier51);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product51, product_data, 32) != 0 || carry51 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product52[32]     = {0x84,0x41,0x69,0x98,0x6f,0xc8,0xbc,0xb3,0x1a,0x68,0xaf,0x76,0x33,0x99,0x32,0xd2,0x49,0xa8,0xf1,0x5e,0xe1,0xca,0x83,0xb4,0x89,0xf8,0x35,0x91,0xad,0x03,0x00,0xd4};
    static std::uint8_t multiplier52[32]  = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0xe4,0x56,0x55,0x9c};
    static int          carry52           = 1;
    uint256_from_bytes(multiplier, multiplier52);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product52, product_data, 32) != 0 || carry52 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product53[32]     = {0x69,0xfe,0x0e,0x56,0x70,0x4f,0xb3,0xe6,0x81,0x3b,0x69,0x0f,0xb4,0x97,0x9d,0xc7,0x83,0x5b,0x62,0x44,0x42,0x33,0xb4,0xc8,0x92,0x3e,0xdf,0x0e,0xba,0xcb,0x30,0xe3};
    static std::uint8_t multiplier53[32]  = {0xcd,0xff,0x5a,0x1c,0xd0,0x1a,0x91,0x4c,0xd5,0xbe,0x78,0x5a,0x91,0x87,0xdf,0x42,0x81,0x1e,0x76,0x16,0xc0,0xbb,0xe6,0xed,0x86,0x14,0xf5,0x04,0xe8,0xee,0x65,0xa1};
    static int          carry53           = 2;
    uint256_from_bytes(multiplier, multiplier53);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product53, product_data, 32) != 0 || carry53 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product54[32]     = {0x64,0xa1,0xb8,0x9d,0x5e,0xef,0xbc,0x36,0x02,0x8b,0x9f,0x9c,0xca,0x97,0xcb,0x72,0x77,0xc7,0x2d,0x4d,0xbb,0xd2,0x63,0xaf,0x0a,0xc0,0x05,0xaa,0x98,0x26,0x1c,0x03};
    static std::uint8_t multiplier54[32]  = {0xcc,0x35,0xe8,0x34,0x74,0xfa,0x94,0x12,0x00,0xd9,0x35,0x34,0x43,0x87,0xee,0x7b,0x7d,0x42,0x64,0x6f,0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01};
    static int          carry54           = 2;
    uint256_from_bytes(multiplier, multiplier54);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product54, product_data, 32) != 0 || carry54 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product55[32]     = {0x93,0xf5,0xdf,0x2a,0xfa,0x57,0x8d,0xa0,0x46,0x9c,0x84,0xde,0x9b,0x08,0x90,0xf6,0xb1,0x8d,0xfb,0x84,0x82,0x48,0x21,0xd5,0xcc,0x29,0xdf,0xd5,0x3e,0xaa,0xf4,0xfe};
    static std::uint8_t multiplier55[32]  = {0x86,0xa7,0x4a,0x63,0xa8,0xc7,0xd9,0xe0,0x17,0x89,0x81,0x9f,0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa};
    static int          carry55           = 1;
    uint256_from_bytes(multiplier, multiplier55);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product55, product_data, 32) != 0 || carry55 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product56[32]     = {0xcb,0xf2,0xdf,0x36,0x89,0xd4,0xa4,0x16,0x39,0x2d,0x77,0x18,0x6d,0x7a,0xe3,0x1a,0xc1,0xaf,0x43,0xd3,0x6b,0xec,0x5b,0x74,0x35,0xda,0x7a,0xc0,0x3c,0xb8,0x12,0x72};
    static std::uint8_t multiplier56[32]  = {0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5e,0x40,0x8f,0xc1,0x46,0x79,0x4e,0xc9,0x26,0xbc,0x9e,0x28,0xea,0xbe,0xe8,0x06,0x26};
    static int          carry56           = 0;
    uint256_from_bytes(multiplier, multiplier56);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product56, product_data, 32) != 0 || carry56 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product57[32]     = {0x61,0x8a,0x89,0xee,0xed,0x5d,0x53,0x6c,0xf3,0x25,0xe2,0x86,0x38,0x30,0x38,0x24,0xb1,0x34,0x91,0x8b,0x9d,0x9b,0x68,0x87,0x44,0xf2,0x6e,0x96,0x30,0x21,0x1a,0x59};
    static std::uint8_t multiplier57[32]  = {0x75,0xd8,0xd8,0xa4,0xf9,0xc9,0xc6,0x79,0xa6,0x61,0xf6,0x2c,0xbd,0x65,0x68,0x0c,0x3b,0x11,0x85,0xd9,0x34,0x89,0x22,0xd7,0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73};
    static int          carry57           = 1;
    uint256_from_bytes(multiplier, multiplier57);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product57, product_data, 32) != 0 || carry57 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product58[32]     = {0x4d,0x08,0x75,0x8d,0xdc,0xa9,0x3e,0xfa,0x0d,0x14,0x36,0xe7,0xbb,0x3d,0x07,0x92,0x6f,0xe1,0x3a,0xd3,0x3a,0xef,0xac,0x7e,0x25,0xce,0x73,0x75,0x89,0x5e,0x35,0x6b};
    static std::uint8_t multiplier58[32]  = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0xd8,0x74,0xbc,0x79};
    static int          carry58           = 2;
    uint256_from_bytes(multiplier, multiplier58);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product58, product_data, 32) != 0 || carry58 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product59[32]     = {0xfe,0xcd,0x37,0x0e,0x71,0x38,0xf3,0x0c,0xcc,0x92,0xda,0xa0,0x3b,0x7f,0x94,0x4d,0x98,0x49,0x6c,0xcd,0xed,0xa4,0x58,0x15,0xe5,0xfc,0x22,0x6d,0xd9,0xd6,0x07,0x1d};
    static std::uint8_t multiplier59[32]  = {0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x13,0xd5,0x31,0x6f,0x32,0xc3,0x24,0x44,0xa4,0x8c,0x1d,0x5c,0xa1,0xfe,0xb6,0x24,0x9d,0xf2,0x02,0x5f};
    static int          carry59           = 0;
    uint256_from_bytes(multiplier, multiplier59);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product59, product_data, 32) != 0 || carry59 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product60[32]     = {0x09,0x93,0x8c,0x07,0x66,0x7b,0x92,0x0b,0xb4,0x0a,0x7d,0xf9,0xdd,0x0b,0x35,0x0e,0xe9,0xca,0xd8,0x38,0x14,0x23,0x17,0xd5,0x3a,0xca,0x75,0x72,0xf4,0x60,0xdd,0xe9};
    static std::uint8_t multiplier60[32]  = {0x03,0x31,0x2e,0xad,0x22,0x29,0x30,0xae,0x91,0x58,0xd4,0xa8,0x9f,0x03,0xbc,0x5a,0x4d,0xee,0x48,0x12,0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3};
    static int          carry60           = 0;
    uint256_from_bytes(multiplier, multiplier60);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product60, product_data, 32) != 0 || carry60 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product61[32]     = {0xca,0xa6,0xd5,0x31,0xd6,0x36,0x05,0xae,0xbf,0xea,0x00,0x44,0xa1,0x27,0xac,0xd9,0x29,0x19,0x7a,0xf6,0xce,0x54,0x29,0xc1,0xfb,0x5d,0xdb,0x36,0x59,0x2d,0xa7,0xd3};
    static std::uint8_t multiplier61[32]  = {0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x35,0xb7,0xe4,0x48,0x63,0x08,0x7e,0x52,0x44,0xc6,0xb8,0x95,0xfe,0x74,0x9e,0x67,0x73,0x0f,0x37,0xf1};
    static int          carry61           = 2;
    uint256_from_bytes(multiplier, multiplier61);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product61, product_data, 32) != 0 || carry61 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product62[32]     = {0xdb,0xb4,0x5f,0x59,0xc9,0x11,0xbc,0x93,0x92,0x7b,0x83,0x21,0x3e,0x11,0xc3,0x51,0x6c,0xdb,0x59,0xe2,0x45,0x5a,0x4f,0xa5,0xbe,0x92,0x1e,0xad,0x39,0x4d,0x7c,0x6c};
    static std::uint8_t multiplier62[32]  = {0xf3,0xe6,0xca,0x73,0x43,0x05,0xe9,0x86,0x86,0x29,0x2b,0xb5,0xbf,0x5b,0x41,0x1b,0x24,0x49,0x1d,0xf6,0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24};
    static int          carry62           = 2;
    uint256_from_bytes(multiplier, multiplier62);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product62, product_data, 32) != 0 || carry62 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product63[32]     = {0x13,0x12,0xa4,0xa0,0x2e,0xa7,0x62,0x07,0x75,0x5b,0x24,0x5d,0xa0,0xe1,0x29,0x6c,0xb1,0x70,0x1e,0xe8,0x7e,0x60,0xc1,0x1f,0xb1,0xb3,0xde,0x3e,0x18,0x76,0xfc,0x73};
    static std::uint8_t multiplier63[32]  = {0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0xe5,0xd0,0x0a,0x4d,0x7f,0x75,0x95,0xb5,0x3b,0x3b,0xf4,0xbf,0x5d,0x7c,0xfe,0xd1};
    static int          carry63           = 0;
    uint256_from_bytes(multiplier, multiplier63);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product63, product_data, 32) != 0 || carry63 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product64[32]     = {0x2e,0x79,0xf3,0x6b,0xe7,0xe5,0xfd,0x56,0x37,0x5c,0xaf,0x2c,0x5a,0x2f,0x14,0xc6,0x0b,0x75,0xad,0x1c,0x79,0x9f,0x63,0x5d,0xd9,0x91,0xa6,0xaf,0x02,0xc1,0xea,0x33};
    static std::uint8_t multiplier64[32]  = {0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc7,0x67,0xc9,0x8f,0xb9,0x73,0x65,0x06,0xec,0xae,0x7c,0x8f,0x09,0x7d,0xdf,0xcb,0xc9,0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11};
    static int          carry64           = 2;
    uint256_from_bytes(multiplier, multiplier64);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product64, product_data, 32) != 0 || carry64 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product65[32]     = {0x01,0x56,0x5e,0x8c,0xfe,0x75,0x05,0x43,0x85,0x4c,0x24,0x9b,0x5c,0xdb,0xbe,0xcc,0xf2,0xbf,0x78,0xf6,0x20,0xd9,0x7a,0x40,0x08,0x29,0x51,0x02,0x3f,0xa0,0x8d,0x61};
    static std::uint8_t multiplier65[32]  = {0x00,0x72,0x1f,0x84,0x54,0xd1,0xac,0x6b,0xd7,0x19,0x61,0x89,0x1e,0xf3,0xea,0x44,0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb};
    static int          carry65           = 0;
    uint256_from_bytes(multiplier, multiplier65);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product65, product_data, 32) != 0 || carry65 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product66[32]     = {0x2d,0xbf,0x29,0x46,0x31,0xe7,0x11,0x4c,0x1d,0xdd,0xd2,0xf4,0xc2,0x77,0x8c,0x12,0xde,0x97,0x7a,0x89,0x38,0x3f,0xcc,0x49,0xb4,0x67,0x32,0xd3,0x09,0x00,0x90,0x0f};
    static std::uint8_t multiplier66[32]  = {0x64,0x95,0x0d,0xc2,0x10,0xa2,0x5b,0x19,0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05};
    static int          carry66           = 1;
    uint256_from_bytes(multiplier, multiplier66);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product66, product_data, 32) != 0 || carry66 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product67[32]     = {0x44,0x58,0x17,0xc9,0x48,0xbe,0x98,0x49,0xc6,0xb8,0x16,0xcc,0x15,0x06,0x56,0x8a,0x3a,0xac,0xfc,0xec,0xc4,0x7c,0xd8,0x2f,0x9c,0x23,0x70,0xb7,0xff,0x12,0x98,0xda};
    static std::uint8_t multiplier67[32]  = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0xff,0xb0,0xdd,0x9e};
    static int          carry67           = 2;
    uint256_from_bytes(multiplier, multiplier67);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product67, product_data, 32) != 0 || carry67 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product68[32]     = {0xf2,0x61,0xc1,0x6f,0x88,0x6b,0x69,0x4e,0x4f,0x08,0x6b,0xa2,0xcc,0x14,0x40,0xfb,0xe9,0xc1,0xf4,0xff,0xbf,0x7b,0x3b,0xc8,0x72,0x5d,0xc2,0x9f,0xce,0x88,0x74,0xe9};
    static std::uint8_t multiplier68[32]  = {0x50,0xcb,0x40,0x7a,0x82,0xce,0x78,0x6f,0x6f,0xad,0x79,0x36,0x44,0x06,0xc0,0x53,0xf8,0x95,0xfc,0x55,0x3f,0xd3,0xbe,0x98,0x26,0x1f,0x40,0xdf,0xef,0x82,0xd1,0xa3};
    static int          carry68           = 0;
    uint256_from_bytes(multiplier, multiplier68);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product68, product_data, 32) != 0 || carry68 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product69[32]     = {0x42,0x0c,0x8d,0x50,0xd8,0x41,0x06,0xbe,0x5a,0x42,0xc3,0xe1,0x3b,0x8f,0x7a,0x22,0x32,0x72,0x5a,0xac,0xcc,0xe6,0xc1,0x67,0x25,0xff,0x62,0x36,0x3d,0xe2,0x10,0x21};
    static std::uint8_t multiplier69[32]  = {0xc0,0xae,0xd9,0xc5,0x9d,0x6b,0x02,0x3f,0x73,0x6b,0x96,0xa0,0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b};
    static int          carry69           = 2;
    uint256_from_bytes(multiplier, multiplier69);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product69, product_data, 32) != 0 || carry69 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product70[32]     = {0xa6,0x7b,0xac,0x4a,0xc7,0xc3,0xc8,0x30,0xbc,0x57,0xdd,0xbd,0x25,0x9d,0x40,0x04,0x74,0xeb,0xf2,0x09,0xdb,0xce,0xd8,0x6c,0x9b,0xc2,0x7f,0x48,0xee,0xf8,0x07,0x4f};
    static std::uint8_t multiplier70[32]  = {0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x7c,0x4e,0xa6,0x03,0x49,0x44,0xf2,0xce,0xde,0x96,0x2a,0x6d,0xa4,0xfd,0x57,0xc5};
    static int          carry70           = 1;
    uint256_from_bytes(multiplier, multiplier70);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product70, product_data, 32) != 0 || carry70 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product71[32]     = {0x45,0xab,0x32,0xa9,0xbb,0x75,0x30,0x35,0x93,0xc4,0xc6,0x60,0xa4,0xb2,0xf9,0x0b,0x6b,0x35,0xb3,0xf7,0x48,0x42,0xc9,0x6f,0x59,0x91,0xd2,0xc1,0x47,0x1a,0x33,0xed};
    static std::uint8_t multiplier71[32]  = {0x17,0x39,0x10,0xe3,0x3e,0x7c,0x65,0x67,0x31,0x41,0x97,0x75,0x8c,0x3b,0xa8,0x59,0x23,0xbc,0x91,0x52,0x6d,0x6b,0x98,0x7a,0x73,0x30,0x9b,0x95,0xc2,0x5e,0x11,0x4f};
    static int          carry71           = 0;
    uint256_from_bytes(multiplier, multiplier71);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product71, product_data, 32) != 0 || carry71 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product72[32]     = {0x7e,0x93,0x78,0x1d,0x2f,0xa9,0x65,0xc6,0x41,0x9f,0x0a,0x86,0x03,0xbd,0x6f,0x6e,0xcf,0x8b,0x50,0xe8,0x21,0x6e,0xd5,0x96,0xa1,0x48,0xa6,0x7c,0x92,0x8f,0xa6,0x93};
    static std::uint8_t multiplier72[32]  = {0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd7,0x56,0x94,0x7a,0x7a,0x45,0x2e,0x70,0x4d,0x60,0x7a,0x47,0x32,0x35,0xc2,0xe2,0x29,0x86,0x2f,0xe2,0x31};
    static int          carry72           = 1;
    uint256_from_bytes(multiplier, multiplier72);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product72, product_data, 32) != 0 || carry72 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product73[32]     = {0x27,0x57,0xb8,0xe8,0xbe,0xcf,0xf9,0x8e,0xb0,0xbc,0x1d,0x43,0xd0,0x24,0xdf,0x40,0x47,0x1d,0x89,0xe4,0xa5,0xdc,0x15,0x1c,0x8b,0xbf,0xe5,0x44,0x96,0xad,0x71,0x63};
    static std::uint8_t multiplier73[32]  = {0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc0,0x17,0xb4,0x83,0x4c,0x37,0x49,0x5c,0x5e,0xd9,0x3f,0xf7,0x16,0xdc,0xe4,0x7b,0x21};
    static int          carry73           = 1;
    uint256_from_bytes(multiplier, multiplier73);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product73, product_data, 32) != 0 || carry73 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product74[32]     = {0x69,0xa9,0xd7,0x03,0xaf,0xe5,0x19,0xb4,0x4a,0x83,0xb6,0xb4,0x20,0xe7,0xb1,0x24,0x46,0x8d,0xb2,0x7e,0x18,0xc3,0x54,0x15,0x61,0xb9,0xc8,0x5e,0x10,0xc0,0x1f,0x2b};
    static std::uint8_t multiplier74[32]  = {0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe6,0xc3,0x81,0x3c,0xe6,0xb5,0xa2,0x90,0x61,0x6c,0xd9,0xe6,0x2a,0x08,0x41,0x1c,0x07,0x20,0x93,0x42,0xca,0x05,0x95,0x5f,0xb9};
    static int          carry74           = 2;
    uint256_from_bytes(multiplier, multiplier74);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product74, product_data, 32) != 0 || carry74 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product75[32]     = {0x59,0x6d,0x23,0x29,0xbe,0xd2,0x43,0x17,0x58,0xcb,0x3e,0x8c,0xea,0xae,0x62,0x15,0x67,0x8a,0x50,0x3d,0x90,0xfe,0xce,0x22,0x95,0x65,0xc6,0xea,0x7a,0x0d,0x71,0x6e};
    static std::uint8_t multiplier75[32]  = {0xc8,0x79,0xb6,0x63,0x3f,0x9b,0x6b,0xb2,0x72,0xee,0x6a,0x2e,0xf8,0xe4,0xcb,0x5c,0x77,0xd8,0xc5,0x69,0xda,0xff,0x9a,0x0b,0x87,0x21,0xec,0xf8,0xd3,0x59,0xd0,0x7a};
    static int          carry75           = 2;
    uint256_from_bytes(multiplier, multiplier75);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product75, product_data, 32) != 0 || carry75 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product76[32]     = {0xc2,0x7f,0xa7,0x42,0xb5,0x49,0x1c,0xa4,0xb2,0x9e,0x77,0x2e,0x60,0x80,0x24,0xf0,0x58,0xce,0x2a,0xf7,0x01,0x0c,0x93,0x0e,0x1e,0x5f,0x1c,0xb3,0x54,0xa1,0x35,0xae};
    static std::uint8_t multiplier76[32]  = {0xeb,0x7f,0xe2,0x6b,0x91,0xc3,0x09,0x8c,0x3b,0x8a,0x27,0xba,0x20,0x2a,0xb6,0xfa,0xc8,0x44,0xb8,0xfd,0x00,0x59,0x86,0x5a,0x0a,0x1f,0xb4,0x3b,0xc6,0xe0,0x67,0x3a};
    static int          carry76           = 2;
    uint256_from_bytes(multiplier, multiplier76);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product76, product_data, 32) != 0 || carry76 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product77[32]     = {0x00,0xe2,0x7f,0x71,0xcd,0x9d,0x61,0xd3,0x5f,0x18,0x1b,0x77,0xab,0xb6,0x36,0x97,0xc8,0x5b,0x77,0x2c,0x2a,0x0c,0x04,0x3a,0x93,0x3a,0x19,0xbc,0xbf,0xa9,0x07,0x85};
    static std::uint8_t multiplier77[32]  = {0x00,0x4b,0x7f,0xd0,0x99,0xdf,0x20,0x9b,0xca,0x5d,0x5e,0x7d,0x39,0x3c,0xbc,0xdd,0x42,0xc9,0x27,0xb9,0x63,0x59,0x56,0xbe,0x31,0x13,0x5d,0xe9,0x95,0x38,0x57,0xd7};
    static int          carry77           = 0;
    uint256_from_bytes(multiplier, multiplier77);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product77, product_data, 32) != 0 || carry77 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product78[32]     = {0x42,0xfc,0xd7,0x05,0x27,0xad,0xdd,0xa3,0x03,0x9f,0xa4,0x7d,0x16,0x64,0x53,0xab,0x1a,0x2f,0xd3,0x8c,0x7a,0x94,0xa0,0x82,0xae,0x2b,0xf4,0xa4,0x1c,0x53,0xd3,0xa9};
    static std::uint8_t multiplier78[32]  = {0x6b,0xa9,0x9d,0x01,0xb7,0xe4,0x9f,0x36,0x56,0x8a,0x8c,0x29,0xb2,0x21,0x71,0x39,0x08,0xba,0x9b,0xd9,0x7e,0x31,0x8a,0xd6,0x3a,0x0e,0xa6,0xe1,0x5e,0xc6,0x9b,0xe3};
    static int          carry78           = 1;
    uint256_from_bytes(multiplier, multiplier78);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product78, product_data, 32) != 0 || carry78 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product79[32]     = {0x75,0xc3,0x71,0x94,0x4c,0x2d,0xa2,0x1b,0xef,0x65,0xcf,0x14,0x99,0xea,0xf5,0x0f,0xe8,0xd9,0xfc,0x03,0x7c,0xb1,0xb9,0x05,0x9d,0x9b,0x9d,0xc8,0x33,0xc9,0xc2,0xfd};
    static std::uint8_t multiplier79[32]  = {0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0xf8,0x48,0xa9,0x56,0x7e,0xe5,0xe8,0x57,0x34,0x89,0x34,0x98,0x11,0x43,0x40,0xff};
    static int          carry79           = 2;
    uint256_from_bytes(multiplier, multiplier79);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product79, product_data, 32) != 0 || carry79 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product80[32]     = {0x29,0xbf,0x4a,0xeb,0x2e,0x2d,0x61,0x56,0xc4,0x09,0x8b,0x41,0x70,0x6c,0x14,0x49,0xc8,0xce,0xdd,0x64,0xd8,0xa6,0x0f,0xe7,0x2b,0x54,0x0c,0x6f,0xfe,0xf2,0x2c,0x4d};
    static std::uint8_t multiplier80[32]  = {0x0d,0xea,0x6e,0x4e,0x64,0xb9,0xcb,0x1c,0xec,0x03,0x2e,0x6b,0x25,0x79,0x5c,0x18,0x98,0x44,0xf4,0x76,0xf2,0xe2,0x05,0x4d,0x0e,0x71,0x59,0x7a,0xaa,0x50,0xb9,0x6f};
    static int          carry80           = 0;
    uint256_from_bytes(multiplier, multiplier80);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product80, product_data, 32) != 0 || carry80 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product81[32]     = {0x2e,0x2f,0x12,0xaa,0x21,0x2b,0xe0,0xd9,0x27,0xd0,0x43,0xa1,0x3f,0x04,0x00,0x49,0x6c,0xfc,0xda,0x59,0xc9,0xd3,0x5d,0x96,0xec,0x1f,0xb9,0xe0,0x12,0x25,0x98,0x0c};
    static std::uint8_t multiplier81[32]  = {0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc8,0x98,0x9b,0xc9,0xdc,0xf9,0x5f,0xe8,0xa0,0x06,0x0c,0x88,0x04};
    static int          carry81           = 0;
    uint256_from_bytes(multiplier, multiplier81);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product81, product_data, 32) != 0 || carry81 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product82[32]     = {0x84,0x73,0x14,0xf2,0x22,0xc7,0x9a,0xe2,0x2d,0x16,0xfb,0xaa,0xfe,0x48,0x39,0xcf,0xef,0x7b,0xb6,0x08,0x18,0x7e,0x8d,0xe8,0x67,0x21,0x03,0x63,0x3d,0x2a,0x35,0xa0};
    static std::uint8_t multiplier82[32]  = {0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x4f,0xd3,0xe7,0x58,0x08,0x2a,0x2f,0x4d,0x77,0xb5,0xab,0xcb,0xbf,0x0e,0x11,0xe0};
    static int          carry82           = 2;
    uint256_from_bytes(multiplier, multiplier82);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product82, product_data, 32) != 0 || carry82 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product83[32]     = {0xd6,0xe4,0x2e,0xac,0x3c,0x17,0x01,0x99,0x02,0x34,0x68,0x61,0x53,0xad,0xf1,0x91,0x81,0xfe,0x0e,0x66,0x53,0xca,0x4a,0x57,0xfe,0xbe,0x61,0x25,0xf4,0x77,0x83,0x89};
    static std::uint8_t multiplier83[32]  = {0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0x00,0xbc,0x22,0xcb,0x1b,0xe4,0xa5,0xdb,0x2b,0x54,0xaf,0x77,0x71,0x43,0x6e,0x1d,0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83};
    static int          carry83           = 0;
    uint256_from_bytes(multiplier, multiplier83);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product83, product_data, 32) != 0 || carry83 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product84[32]     = {0x46,0xc3,0x20,0x75,0xe4,0x8f,0x6f,0x2a,0xae,0xf2,0x6e,0xe5,0x5f,0x02,0x09,0x8e,0xa7,0xd0,0x06,0xc0,0xdd,0xd5,0xdc,0x2f,0x42,0xb3,0x5e,0xc6,0x0d,0xed,0x32,0x6b};
    static std::uint8_t multiplier84[32]  = {0xc2,0x41,0x0a,0xd1,0xf6,0xda,0x7a,0x63,0x8f,0xa6,0x24,0xf7,0x1f,0xab,0x58,0x84,0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79};
    static int          carry84           = 2;
    uint256_from_bytes(multiplier, multiplier84);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product84, product_data, 32) != 0 || carry84 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product85[32]     = {0x4c,0x1e,0xff,0xea,0x69,0x6c,0x4c,0x1a,0x77,0x4d,0x58,0x62,0xed,0x14,0xbc,0x10,0x76,0xf7,0xf2,0x47,0x4e,0x62,0xe0,0xa9,0x11,0xe4,0x28,0x5a,0x23,0xf0,0x89,0xca};
    static std::uint8_t multiplier85[32]  = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73,0x61,0x50,0x2d,0xee};
    static int          carry85           = 1;
    uint256_from_bytes(multiplier, multiplier85);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product85, product_data, 32) != 0 || carry85 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product86[32]     = {0x56,0xcb,0x7d,0x76,0xc2,0x2e,0x51,0x4d,0x9f,0xe4,0xf0,0xd5,0x1e,0x3e,0xa1,0x8b,0x96,0x4f,0x4c,0x44,0x6b,0x9e,0xd2,0x2a,0x1d,0xa3,0x11,0x5f,0x25,0xd4,0x62,0xcd};
    static std::uint8_t multiplier86[32]  = {0x72,0x43,0xd4,0x7c,0xeb,0x64,0xc5,0xc4,0x8a,0xa1,0xa5,0x9c,0x5f,0x6a,0x35,0xd9,0x32,0x1a,0x6e,0xc1,0x79,0x34,0xf0,0xb8,0xb4,0x8b,0xb0,0x75,0x0c,0x9c,0x20,0xef};
    static int          carry86           = 1;
    uint256_from_bytes(multiplier, multiplier86);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product86, product_data, 32) != 0 || carry86 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product87[32]     = {0x3b,0x7e,0xed,0x2b,0xe5,0x1d,0xd3,0xe5,0x17,0x41,0xb1,0xd5,0x6c,0x71,0x3f,0xaa,0xb0,0xe4,0x12,0x6d,0x36,0x42,0xf8,0xc9,0x17,0xbe,0x3d,0x6a,0xf8,0x4d,0x2c,0x51};
    static std::uint8_t multiplier87[32]  = {0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x79,0x7b,0x15,0x38,0xe5,0xa1,0x5b,0x79,0xbc,0xc0,0xfd,0x98,0x5d,0x3f,0x69,0xce,0x52,0xc4,0x64,0x1b};
    static int          carry87           = 1;
    uint256_from_bytes(multiplier, multiplier87);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product87, product_data, 32) != 0 || carry87 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product88[32]     = {0x64,0x64,0x10,0x59,0x1a,0xc4,0xa6,0xcf,0x20,0x6f,0x9b,0x94,0x1f,0x38,0x03,0xb8,0x36,0xdd,0x88,0xdc,0x4c,0xcd,0x10,0x0b,0xe0,0x50,0x46,0xb0,0x6f,0x7b,0x32,0x5c};
    static std::uint8_t multiplier88[32]  = {0x76,0xcc,0x05,0x73,0x08,0xec,0x37,0x9a,0x60,0x25,0x33,0xdc,0x0a,0x68,0x01,0x3d,0x67,0x9f,0x2d,0x9e,0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74};
    static int          carry88           = 1;
    uint256_from_bytes(multiplier, multiplier88);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product88, product_data, 32) != 0 || carry88 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product89[32]     = {0x21,0x79,0x45,0x51,0xd9,0xd6,0xe8,0x1c,0xdc,0x7d,0x52,0x68,0xdf,0x81,0x6f,0xdc,0x01,0x41,0xf5,0xe7,0xd1,0x23,0x3d,0xe6,0x16,0xc3,0xa6,0x3a,0x04,0x67,0xc8,0x76};
    static std::uint8_t multiplier89[32]  = {0x0b,0x28,0x6c,0x70,0x9d,0xf2,0x4d,0x5e,0xf4,0x29,0xc6,0x22,0xf5,0x2b,0x25,0x49,0x55,0xc0,0xa7,0x4d,0x45,0xb6,0x69,0xf7,0x5c,0xeb,0xe2,0x13,0x56,0xcd,0x42,0xd2};
    static int          carry89           = 0;
    uint256_from_bytes(multiplier, multiplier89);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product89, product_data, 32) != 0 || carry89 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product90[32]     = {0x32,0x2c,0xd0,0x5d,0xd4,0x6a,0x86,0x7f,0xd6,0xe7,0x0e,0xf8,0xe6,0xe5,0x8c,0x17,0x6a,0xbe,0xe0,0x7a,0xbf,0xd7,0x4a,0x17,0xc9,0x65,0x76,0xb2,0x44,0x57,0x4d,0x12};
    static std::uint8_t multiplier90[32]  = {0x10,0xb9,0x9a,0xc9,0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06};
    static int          carry90           = 0;
    uint256_from_bytes(multiplier, multiplier90);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product90, product_data, 32) != 0 || carry90 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product91[32]     = {0x61,0xe1,0x44,0xe0,0xf5,0x69,0xd8,0xed,0x95,0x6f,0x24,0x17,0xfb,0xc0,0x10,0x93,0xb5,0x5b,0x81,0xdd,0xd2,0x5f,0x0a,0x26,0x74,0x35,0xc9,0x0a,0x51,0x84,0x81,0xbb};
    static std::uint8_t multiplier91[32]  = {0x75,0xf5,0xc1,0xa0,0x51,0xcd,0xf2,0xf9,0xdc,0x7a,0x61,0x5d,0x53,0xea,0xb0,0x31,0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9};
    static int          carry91           = 1;
    uint256_from_bytes(multiplier, multiplier91);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product91, product_data, 32) != 0 || carry91 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product92[32]     = {0x42,0x37,0x58,0x8d,0x2c,0xd0,0x7b,0xec,0x97,0x89,0x13,0x9c,0x89,0x20,0xa4,0xda,0x3c,0xae,0xf4,0x81,0xc9,0x82,0xb9,0xa3,0x58,0xc4,0x56,0x5c,0x59,0xfb,0xd8,0x3c};
    static std::uint8_t multiplier92[32]  = {0xc0,0xbd,0x1d,0x84,0x64,0x45,0x7e,0xa4,0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14};
    static int          carry92           = 2;
    uint256_from_bytes(multiplier, multiplier92);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product92, product_data, 32) != 0 || carry92 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product93[32]     = {0xa2,0x43,0xfc,0x0b,0xa8,0x64,0x86,0xe4,0x71,0xf0,0x16,0xda,0x1a,0x01,0xe0,0xad,0xf2,0xd9,0xf0,0xa4,0x31,0xb7,0x07,0xe6,0x39,0x28,0x3e,0x6b,0xbd,0xee,0xa2,0xd7};
    static std::uint8_t multiplier93[32]  = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x3f,0x4f,0x8b,0x9d};
    static int          carry93           = 1;
    uint256_from_bytes(multiplier, multiplier93);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product93, product_data, 32) != 0 || carry93 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product94[32]     = {0xea,0x95,0xe9,0x1d,0x21,0x1a,0xb0,0x6b,0xf7,0x1d,0xaa,0x75,0x7e,0xd4,0x39,0x64,0x43,0x5f,0xd1,0xbd,0x4a,0x0d,0x73,0x44,0xa0,0x01,0x84,0x0a,0x40,0x93,0x4f,0xf1};
    static std::uint8_t multiplier94[32]  = {0xf8,0xdc,0xa3,0x09,0xb5,0xb3,0x90,0x23,0xfd,0x09,0xe3,0x7c,0x7f,0x9c,0x13,0x21,0x6b,0xca,0x9b,0x3f,0x18,0xaf,0x26,0x6c,0x35,0x55,0xd6,0xae,0x15,0x86,0x6f,0xfb};
    static int          carry94           = 2;
    uint256_from_bytes(multiplier, multiplier94);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product94, product_data, 32) != 0 || carry94 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product95[32]     = {0x05,0xb7,0x25,0xd5,0xac,0x7d,0x59,0x75,0xdc,0x65,0x72,0x1e,0x61,0xfd,0x4c,0xd8,0x40,0x22,0x33,0xed,0x66,0x17,0x54,0x40,0xb3,0xdc,0xdd,0xf7,0x85,0x02,0xe8,0x02};
    static std::uint8_t multiplier95[32]  = {0xac,0x92,0x61,0xf1,0xe4,0x29,0xc8,0x7c,0x9e,0xcc,0x7b,0x5f,0x75,0xff,0x19,0x9d,0x6a,0xb6,0x11,0x4f,0x22,0x07,0xc6,0xc0,0x3b,0xf4,0x49,0xfd,0x2c,0x56,0x4d,0x56};
    static int          carry95           = 2;
    uint256_from_bytes(multiplier, multiplier95);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product95, product_data, 32) != 0 || carry95 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product96[32]     = {0x36,0xd5,0xf6,0x1f,0xc3,0x1d,0x8a,0x83,0x1e,0x71,0x17,0x28,0xcd,0x91,0x40,0xee,0xb3,0x5d,0xf8,0x94,0xd6,0x93,0xaa,0xde,0xe1,0x9f,0xeb,0xb9,0xe1,0xbb,0xb2,0x25};
    static std::uint8_t multiplier96[32]  = {0xbc,0xf1,0xfc,0xb5,0x41,0x09,0xd8,0xd6,0x5f,0x7b,0x07,0xb8,0x44,0x85,0xc0,0x4f,0x91,0x1f,0x52,0xdc,0x47,0x86,0x8e,0x4a,0x4b,0x35,0x4e,0x93,0x4b,0x3e,0x90,0xb7};
    static int          carry96           = 2;
    uint256_from_bytes(multiplier, multiplier96);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product96, product_data, 32) != 0 || carry96 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product97[32]     = {0xfa,0x33,0x5c,0x34,0xc1,0x45,0x23,0x97,0x30,0x2e,0x73,0x9c,0x31,0xc5,0x00,0xd2,0xfa,0xa0,0xa5,0x43,0x90,0x93,0x7b,0x97,0xbc,0x1e,0x9f,0xa7,0xb9,0x03,0x2c,0x93};
    static std::uint8_t multiplier97[32]  = {0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x53,0x8a,0xe1,0xc1,0x30,0x31,0x29,0x32,0x94,0x0a,0x35,0x37,0xe8,0x56,0x64,0x31};
    static int          carry97           = 2;
    uint256_from_bytes(multiplier, multiplier97);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product97, product_data, 32) != 0 || carry97 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product98[32]     = {0x85,0x8c,0x1a,0xe3,0xb1,0x7e,0xc6,0x50,0x75,0x12,0x25,0x23,0xa6,0x02,0x76,0x49,0x6c,0x9e,0x28,0x0b,0x03,0x73,0x2e,0xe2,0x4e,0x97,0x5f,0xa5,0x1c,0x6f,0x0b,0xc6};
    static std::uint8_t multiplier98[32]  = {0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x59,0x01,0x26,0x64,0xf6,0x1a,0x32,0x75,0x37,0x09,0x7a,0x59,0x42};
    static int          carry98           = 2;
    uint256_from_bytes(multiplier, multiplier98);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product98, product_data, 32) != 0 || carry98 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
    static std::uint8_t product99[32]     = {0x26,0xb3,0x4e,0x59,0x5b,0x8e,0xf1,0xa2,0xb2,0xdc,0x90,0x61,0xe1,0x8b,0x56,0xd1,0xa1,0x72,0x0d,0x88,0x1e,0xff,0x76,0xe7,0x1f,0x23,0x12,0x01,0xbe,0x3d,0x8c,0xae};
    static std::uint8_t multiplier99[32]  = {0x0c,0xe6,0x6f,0x73,0x1e,0x84,0xfb,0x36,0x3b,0x9e,0xda,0xcb,0x4b,0x2e,0x72,0x45,0xe0,0x7b,0x59,0xd8,0x0a,0x55,0x27,0xa2,0x5f,0xb6,0x5b,0x55,0xea,0x14,0x84,0x3a};
    static int          carry99           = 0;
    uint256_from_bytes(multiplier, multiplier99);
    carry = uint256_tpl_carry(product, multiplier);
    uint256_to_bytes(product_data, product);
    if (std::memcmp(product99, product_data, 32) != 0 || carry99 != carry)
    {
        throw std::runtime_error("err in uint256_tpl_carry");
    }
}
